电工实践教学改革与实践

电工实践教学是培养大学生电类工程能力的重要环节，本文介绍我们以培养人才为中心在电工实习基地建设；实践教学内容，方法和手段等方面进行的改革与实践。     

Spectral multidomain approximation of elliptic problems with mixed conditions on the interfaces

The multidomain technique for elliptic problems, that allows the fulfillment of the interface conditions by means of a suitable combination of the continuity of the solution and of its normal derivative, is considered. Some choices of this combination are investigated and, in particular, a choice that allows the solution of the multidomain problem through two solutions for each subproblem, is proposed. The scheme has been discretized with a collocation method and some numerical tests are reported. Moreover the method is compared with the more classical Dirichlet/Neumann one as well as with the capacitance matrix method.This research has been supported by a grant from M.P.I. (40%).     

Sidle的远程执行设备

Ｓｉｄｌｅ系统是运行在ＳＵＮ工作站网络上的一组实用程序，利用空闲的处理机资源进行大粒度的并行计算．同其它远程执行设备相比，它能支持程序内部并行和嵌套的远程执行，允许一个服务员机接受多个远程执行任务．本文介绍了这些特点和透明性的实现方法．     

凸轮机构基圆半径的确定方法及其分析

基圆半径的确定方法，除了用图解法和试算法外，还可用解析法和图解分析法求解。４种方法各有优缺点，设计时要根据具体情况选择。     

Running programs backwards: The logical inversion of imperative computation

Imperative programs can be inverted directly from their forward-directed program code with the use of logical inference. The relational semantics of imperative computations treats programs as logical relations over the observable state of the environment, which is taken to be the state of the variables in memory. Program relations denote both forward and backward computations, and the direction of the computation depends upon the instantiation pattern of arguments in the relation. This view of inversion has practical applications when the relational semantics is treated as a logic program. Depending on the logic programming inference scheme used, execution of this relational program can compute the inverse of the imperative program. A number of nontrivial imperative computations can be inverted with minimal logic programming tools.     

大坝施工混凝土质量的评价体系

本文介绍了大坝施工混凝土质量的评价系统软件的设计思路和设计成果。它利用现代计算机技术和应用模糊数学理论评价混凝土重力坝和拱坝单块和整体的质量。在采用模糊综合评价工程质量中，对不同工艺环节，对坝体不同部位，鉴于其质量要求的差异应赋予不同的权重，在权重的取值上采用了专家调查排序，定量转化的方法是比较适宜的。在程序设计中，评价数学模型采用了BASIC程序，访膜块通过*TXT文件实现了与整个大坝混凝土质量微机管理系统的接口及数据传递。操作运行方便灵活。     

泥浆制备中工艺改造的研究

根据室条件下粉磨试验结果，发现球磨过程中筛上料变化存在的突变范围，提出两次加料一次加水可改变泥浆颗粒分布，并找出适宜的加料种类与时间。另外给予测粒度分布提供了宝贵的试验基础数据。     

Power Dissipation in Spintronic Devices Out of Thermodynamic Equilibrium

Quantum limits of power dissipation in spintronic computing are estimated. A computing element composed of a single electron in a quantum dot is considered. Dynamics of its spin due to external magnetic field and interaction with adjacent dots are described via the Bloch equations. Spin relaxation due to magnetic noise from various sources is described as coupling to a reservoir. Resulting dissipation of energy is calculated and is shown to be much less than the thermal limit, ∼kT per bit, if the rate of spin relaxation is much slower than the switching rate. Clues on how to engineer an energy efficient spintronic device are provided.     

Directional features in online handwriting recognition

The selection of valuable features is crucial in pattern recognition. In this paper we deal with the issue that part of features originate from directional instead of common linear data. Both for directional and linear data a theory for a statistical modeling exists. However, none of these theories gives an integrated solution to problems, where linear and directional variables are to be combined in a single, multivariate probability density function. We describe a general approach for a unified statistical modeling, given the constraint that variances of the circular variables are small. The method is practically evaluated in the context of our online handwriting recognition system frog on hand and the so-called tangent slope angle feature. Recognition results are compared with two alternative modeling approaches. The proposed solution gives significant improvements in recognition accuracy, computational speed and memory requirements.